(0
 (
  ("SurfaceMotion(wubble,)" 55 83)
  ("SurfaceMotion(wubble,)" 125 147)
  ("SurfaceMotion(wubble,)" 175 257)
  ("SurfaceMotion(wubble,)" 335 429)
  ("SurfaceMotion(wubble,)" 432 460)
  ("SurfaceMotion(wubble,)" 477 494)
  ("SurfaceMotion(wubble,)" 573 648)
  ("SurfaceMotion(wubble,)" 718 746)
  ("SurfaceMotion(wubble,)" 813 890)
  ("SurfaceMotion(wubble,)" 955 974)
  ("SurfaceMotion(wubble,)" 1087 1176)
  ("SurfaceMotion(wubble,)" 1247 1265)
  ("SurfaceMotion(wubble,)" 1275 1311)
  ("SurfaceMotion(wubble,)" 1370 1434)
  ("SurfaceMotion(wubble,)" 1494 1502)
  ("SurfaceMotion(wubble,)" 1577 1627)
  ("SurfaceMotion(wubble,)" 1691 1749)
  ("SurfaceMotion(wubble,)" 1785 1799)
  ("SurfaceMotion(wubble,)" 1847 1919)
  ("SurfaceMotion(wubble,)" 1990 2005)
  ("SurfaceMotion(wubble,)" 2014 2044)
  ("SurfaceMotion(wubble,)" 2076 2177)
  ("SurfaceMotion(wubble,)" 2225 2253)
  ("SurfaceMotion(wubble,)" 2317 2352)
  ("SurfaceMotion(wubble,)" 2419 2637)
  ("SurfaceMotion(wubble,)" 2709 2823)
  ("SurfaceMotion(wubble,)" 2835 2892)
  ("SurfaceMotion(wubble,)" 2941 3021)
  ("SurfaceMotion(wubble,)" 3051 3100)
  ("SurfaceMotion(wubble,)" 3109 3139)
  ("SurfaceMotion(wubble,)" 3169 3287)
  ("SurfaceMotion(wubble,)" 3307 3415)
  ("SurfaceMotion(wubble,)" 3451 3457)
  ("SurfaceMotion(wubble,)" 3539 3643)
  ("SurfaceMotion(wubble,)" 3727 3746)
  ("SurfaceMotion(wubble,)" 3755 3759)
  ("SurfaceMotion(wubble,)" 3806 3860)
  ("SurfaceMotion(wubble,)" 3924 3946)
  ("SurfaceMotion(wubble,)" 3998 4042)
  ("SurfaceMotion(wubble,)" 4102 4121)
  ("SurfaceMotion(wubble,)" 4148 4165)
  ("SurfaceMotion(wubble,)" 4226 4303)
  ("SurfaceMotion(wubble,)" 4413 4441)
  ("SurfaceMotion(wubble,)" 4457 4490)
  ("SurfaceMotion(wubble,)" 4643 4689)
  ("SurfaceMotion(wubble,)" 4707 4738)
  ("SurfaceMotion(wubble,)" 4904 5015)
  ("SurfaceMotion(wubble,)" 5028 5055)
  ("SurfaceMotion(wubble,)" 5075 5103)
  ("SurfaceMotion(wubble,)" 5132 5271)
  ("SurfaceMotion(wubble,)" 5450 5530)
  ("SurfaceMotion(wubble,)" 5716 5816)
  ("SurfaceMotion(wubble,)" 5848 5862)
  ("SurfaceMotion(wubble,)" 5883 5916)
  ("SurfaceMotion(wubble,)" 6017 6126)
  ("SurfaceMotion(wubble,)" 6171 6180)
  ("SurfaceMotion(wubble,)" 6195 6212)
  ("SurfaceMotion(wubble,)" 6253 6337)
  ("SurfaceMotion(wubble,)" 6367 6380)
  ("SurfaceMotion(wubble,)" 6392 6399)
  ("SurfaceMotion(wubble,)" 6558 6663)
  ("SurfaceMotion(wubble,)" 6684 6706)
  ("SurfaceMotion(wubble,)" 6729 6746)
  ("SurfaceMotion(wubble,)" 6761 6789)
  ("SurfaceMotion(wubble,)" 6841 6924)
  ("SurfaceMotion(wubble,)" 6997 7019)
  ("SurfaceMotion(wubble,)" 7070 7126)
  ("SurfaceMotion(wubble,)" 7189 7206)
  ("SurfaceMotion(wubble,)" 7282 7326)
  ("SurfaceMotion(wubble,)" 7384 7418)
  ("SurfaceMotion(wubble,)" 7453 7513)
  ("SurfaceMotion(wubble,)" 7545 7599)
  ("SurfaceMotion(wubble,)" 7657 7742)
  ("SurfaceMotion(wubble,)" 7779 7887)
  ("SurfaceMotion(wubble,)" 7986 8097)
  ("SurfaceMotion(wubble,)" 8129 8212)
  ("SurfaceMotion(wubble,)" 8231 8270)
  ("SurfaceMotion(wubble,)" 8320 8416)
  ("SurfaceMotion(wubble,)" 8435 8451)
  ("SurfaceMotion(wubble,)" 8572 8644)
  ("SurfaceMotion(wubble,)" 8701 8767)
  ("SurfaceMotion(wubble,)" 8817 8901)
  ("SurfaceMotion(wubble,)" 8950 8973)
  ("SurfaceMotion(wubble,)" 8994 9052)
  ("SurfaceMotion(wubble,)" 9150 9257)
  ("SurfaceMotion(wubble,)" 9270 9304)
  ("SurfaceMotion(wubble,)" 9379 9458)
  ("SurfaceMotion(wubble,)" 9470 9513)
  ("SurfaceMotion(wubble,)" 9553 9619)
  ("Motion(wubble,)" 2 18)
  ("Motion(wubble,)" 19 21)
  ("Motion(wubble,)" 55 83)
  ("Motion(wubble,)" 125 147)
  ("Motion(wubble,)" 175 257)
  ("Motion(wubble,)" 335 429)
  ("Motion(wubble,)" 432 460)
  ("Motion(wubble,)" 477 494)
  ("Motion(wubble,)" 573 652)
  ("Motion(wubble,)" 653 654)
  ("Motion(wubble,)" 718 746)
  ("Motion(wubble,)" 813 890)
  ("Motion(wubble,)" 955 974)
  ("Motion(wubble,)" 1087 1176)
  ("Motion(wubble,)" 1247 1265)
  ("Motion(wubble,)" 1275 1311)
  ("Motion(wubble,)" 1370 1440)
  ("Motion(wubble,)" 1444 1445)
  ("Motion(wubble,)" 1494 1502)
  ("Motion(wubble,)" 1577 1637)
  ("Motion(wubble,)" 1641 1642)
  ("Motion(wubble,)" 1691 1749)
  ("Motion(wubble,)" 1785 1799)
  ("Motion(wubble,)" 1847 1919)
  ("Motion(wubble,)" 1990 2005)
  ("Motion(wubble,)" 2014 2044)
  ("Motion(wubble,)" 2076 2177)
  ("Motion(wubble,)" 2225 2253)
  ("Motion(wubble,)" 2317 2352)
  ("Motion(wubble,)" 2419 2637)
  ("Motion(wubble,)" 2709 2823)
  ("Motion(wubble,)" 2835 2892)
  ("Motion(wubble,)" 2941 3021)
  ("Motion(wubble,)" 3051 3100)
  ("Motion(wubble,)" 3109 3139)
  ("Motion(wubble,)" 3169 3287)
  ("Motion(wubble,)" 3307 3415)
  ("Motion(wubble,)" 3451 3457)
  ("Motion(wubble,)" 3539 3643)
  ("Motion(wubble,)" 3727 3746)
  ("Motion(wubble,)" 3755 3759)
  ("Motion(wubble,)" 3806 3867)
  ("Motion(wubble,)" 3868 3869)
  ("Motion(wubble,)" 3924 3946)
  ("Motion(wubble,)" 3998 4057)
  ("Motion(wubble,)" 4061 4062)
  ("Motion(wubble,)" 4102 4121)
  ("Motion(wubble,)" 4148 4165)
  ("Motion(wubble,)" 4226 4303)
  ("Motion(wubble,)" 4413 4441)
  ("Motion(wubble,)" 4457 4490)
  ("Motion(wubble,)" 4643 4689)
  ("Motion(wubble,)" 4707 4738)
  ("Motion(wubble,)" 4904 5015)
  ("Motion(wubble,)" 5028 5055)
  ("Motion(wubble,)" 5075 5103)
  ("Motion(wubble,)" 5132 5271)
  ("Motion(wubble,)" 5450 5530)
  ("Motion(wubble,)" 5716 5816)
  ("Motion(wubble,)" 5848 5862)
  ("Motion(wubble,)" 5883 5916)
  ("Motion(wubble,)" 6017 6126)
  ("Motion(wubble,)" 6171 6180)
  ("Motion(wubble,)" 6195 6212)
  ("Motion(wubble,)" 6253 6337)
  ("Motion(wubble,)" 6367 6380)
  ("Motion(wubble,)" 6392 6399)
  ("Motion(wubble,)" 6558 6663)
  ("Motion(wubble,)" 6684 6706)
  ("Motion(wubble,)" 6729 6746)
  ("Motion(wubble,)" 6761 6789)
  ("Motion(wubble,)" 6841 6924)
  ("Motion(wubble,)" 6997 7019)
  ("Motion(wubble,)" 7070 7139)
  ("Motion(wubble,)" 7143 7144)
  ("Motion(wubble,)" 7189 7206)
  ("Motion(wubble,)" 7282 7344)
  ("Motion(wubble,)" 7349 7350)
  ("Motion(wubble,)" 7384 7418)
  ("Motion(wubble,)" 7453 7513)
  ("Motion(wubble,)" 7517 7518)
  ("Motion(wubble,)" 7545 7599)
  ("Motion(wubble,)" 7657 7745)
  ("Motion(wubble,)" 7779 7887)
  ("Motion(wubble,)" 7986 8097)
  ("Motion(wubble,)" 8129 8212)
  ("Motion(wubble,)" 8231 8270)
  ("Motion(wubble,)" 8320 8416)
  ("Motion(wubble,)" 8435 8451)
  ("Motion(wubble,)" 8572 8645)
  ("Motion(wubble,)" 8649 8650)
  ("Motion(wubble,)" 8701 8767)
  ("Motion(wubble,)" 8817 8901)
  ("Motion(wubble,)" 8903 8904)
  ("Motion(wubble,)" 8950 8973)
  ("Motion(wubble,)" 8994 9052)
  ("Motion(wubble,)" 9150 9257)
  ("Motion(wubble,)" 9270 9304)
  ("Motion(wubble,)" 9379 9458)
  ("Motion(wubble,)" 9459 9460)
  ("Motion(wubble,)" 9470 9513)
  ("Motion(wubble,)" 9553 9619)
  ("Motion(wubble,)" 9621 9622)
  ("PVM(wubble,)" 17 18)
  ("PVM(wubble,)" 79 80)
  ("PVM(wubble,)" 366 389)
  ("PVM(wubble,)" 417 420)
  ("PVM(wubble,)" 603 621)
  ("PVM(wubble,)" 651 652)
  ("PVM(wubble,)" 653 654)
  ("PVM(wubble,)" 823 845)
  ("PVM(wubble,)" 873 876)
  ("PVM(wubble,)" 1114 1137)
  ("PVM(wubble,)" 1165 1167)
  ("PVM(wubble,)" 1386 1407)
  ("PVM(wubble,)" 1408 1409)
  ("PVM(wubble,)" 1437 1440)
  ("PVM(wubble,)" 1583 1606)
  ("PVM(wubble,)" 1634 1637)
  ("PVM(wubble,)" 1860 1882)
  ("PVM(wubble,)" 1911 1913)
  ("PVM(wubble,)" 2113 2134)
  ("PVM(wubble,)" 2135 2136)
  ("PVM(wubble,)" 2163 2165)
  ("PVM(wubble,)" 2463 2485)
  ("PVM(wubble,)" 2513 2516)
  ("PVM(wubble,)" 2754 2777)
  ("PVM(wubble,)" 2805 2807)
  ("PVM(wubble,)" 2959 2981)
  ("PVM(wubble,)" 3009 3011)
  ("PVM(wubble,)" 3213 3234)
  ("PVM(wubble,)" 3235 3236)
  ("PVM(wubble,)" 3263 3265)
  ("PVM(wubble,)" 3568 3590)
  ("PVM(wubble,)" 3619 3621)
  ("PVM(wubble,)" 3815 3836)
  ("PVM(wubble,)" 3837 3838)
  ("PVM(wubble,)" 3866 3867)
  ("PVM(wubble,)" 3868 3869)
  ("PVM(wubble,)" 4003 4026)
  ("PVM(wubble,)" 4054 4057)
  ("PVM(wubble,)" 4237 4260)
  ("PVM(wubble,)" 4288 4290)
  ("PVM(wubble,)" 4934 4956)
  ("PVM(wubble,)" 4985 4987)
  ("PVM(wubble,)" 5179 5202)
  ("PVM(wubble,)" 5230 5233)
  ("PVM(wubble,)" 5757 5779)
  ("PVM(wubble,)" 5807 5810)
  ("PVM(wubble,)" 6061 6083)
  ("PVM(wubble,)" 6111 6113)
  ("PVM(wubble,)" 6595 6617)
  ("PVM(wubble,)" 6645 6647)
  ("PVM(wubble,)" 6856 6878)
  ("PVM(wubble,)" 6906 6908)
  ("PVM(wubble,)" 7085 7108)
  ("PVM(wubble,)" 7136 7139)
  ("PVM(wubble,)" 7291 7314)
  ("PVM(wubble,)" 7342 7344)
  ("PVM(wubble,)" 7459 7482)
  ("PVM(wubble,)" 7510 7513)
  ("PVM(wubble,)" 7693 7716)
  ("PVM(wubble,)" 7743 7745)
  ("PVM(wubble,)" 8033 8055)
  ("PVM(wubble,)" 8084 8086)
  ("PVM(wubble,)" 8355 8378)
  ("PVM(wubble,)" 8406 8408)
  ("PVM(wubble,)" 8591 8614)
  ("PVM(wubble,)" 8642 8645)
  ("PVM(wubble,)" 8845 8866)
  ("PVM(wubble,)" 8867 8868)
  ("PVM(wubble,)" 8896 8899)
  ("PVM(wubble,)" 9201 9222)
  ("PVM(wubble,)" 9223 9224)
  ("PVM(wubble,)" 9252 9255)
  ("PVM(wubble,)" 9401 9424)
  ("PVM(wubble,)" 9452 9455)
  ("PVM(wubble,)" 9563 9586)
  ("PVM(wubble,)" 9614 9617)
  ("Above(wubble,box405)" 1 60)
  ("Above(wubble,box405)" 383 396)
  ("Above(wubble,box405)" 610 622)
  ("Above(wubble,box405)" 840 856)
  ("Above(wubble,box405)" 1128 1142)
  ("Above(wubble,box405)" 1401 1414)
  ("Above(wubble,box405)" 1596 1608)
  ("Above(wubble,box405)" 1880 1893)
  ("Above(wubble,box405)" 2132 2144)
  ("Above(wubble,box405)" 2484 2499)
  ("Above(wubble,box405)" 2769 2783)
  ("Above(wubble,box405)" 2980 2995)
  ("Above(wubble,box405)" 3232 3243)
  ("Above(wubble,box405)" 3592 3605)
  ("Above(wubble,box405)" 3825 3837)
  ("Above(wubble,box405)" 4016 4029)
  ("Above(wubble,box405)" 4260 4273)
  ("Above(wubble,box405)" 4954 4967)
  ("Above(wubble,box405)" 5206 5220)
  ("Above(wubble,box405)" 5774 5787)
  ("Above(wubble,box405)" 6082 6097)
  ("Above(wubble,box405)" 6612 6625)
  ("Above(wubble,box405)" 6877 6889)
  ("Above(wubble,box405)" 7096 7113)
  ("Above(wubble,box405)" 7303 7316)
  ("Above(wubble,box405)" 7476 7490)
  ("Above(wubble,box405)" 7712 7725)
  ("Above(wubble,box405)" 8048 8061)
  ("Above(wubble,box405)" 8365 8378)
  ("Above(wubble,box405)" 8609 8624)
  ("Above(wubble,box405)" 8865 8879)
  ("Above(wubble,box405)" 9217 9230)
  ("Above(wubble,box405)" 9413 9429)
  ("Above(wubble,box405)" 9578 9595)
  ("InFrontOf(wubble,box405)" 237 383)
  ("InFrontOf(wubble,box405)" 498 610)
  ("InFrontOf(wubble,box405)" 759 840)
  ("InFrontOf(wubble,box405)" 990 1128)
  ("InFrontOf(wubble,box405)" 1326 1400)
  ("InFrontOf(wubble,box405)" 1519 1596)
  ("InFrontOf(wubble,box405)" 1782 1880)
  ("InFrontOf(wubble,box405)" 2023 2132)
  ("InFrontOf(wubble,box405)" 2264 2484)
  ("InFrontOf(wubble,box405)" 2637 2769)
  ("InFrontOf(wubble,box405)" 2899 2980)
  ("InFrontOf(wubble,box405)" 3102 3232)
  ("InFrontOf(wubble,box405)" 3398 3592)
  ("InFrontOf(wubble,box405)" 3722 3825)
  ("InFrontOf(wubble,box405)" 3956 4016)
  ("InFrontOf(wubble,box405)" 4144 4260)
  ("InFrontOf(wubble,box405)" 4460 4954)
  ("InFrontOf(wubble,box405)" 5067 5206)
  ("InFrontOf(wubble,box405)" 5512 5773)
  ("InFrontOf(wubble,box405)" 5885 6082)
  ("InFrontOf(wubble,box405)" 6197 6253)
  ("InFrontOf(wubble,box405)" 6349 6612)
  ("InFrontOf(wubble,box405)" 6744 6877)
  ("InFrontOf(wubble,box405)" 7027 7096)
  ("InFrontOf(wubble,box405)" 7198 7303)
  ("InFrontOf(wubble,box405)" 7405 7476)
  ("InFrontOf(wubble,box405)" 7609 7712)
  ("InFrontOf(wubble,box405)" 7872 8048)
  ("InFrontOf(wubble,box405)" 8233 8365)
  ("InFrontOf(wubble,box405)" 8463 8609)
  ("InFrontOf(wubble,box405)" 8735 8865)
  ("InFrontOf(wubble,box405)" 8982 9016)
  ("InFrontOf(wubble,box405)" 9026 9217)
  ("InFrontOf(wubble,box405)" 9289 9413)
  ("InFrontOf(wubble,box405)" 9516 9578)
  ("InBackOf(wubble,box405)" 60 130)
  ("InBackOf(wubble,box405)" 143 199)
  ("InBackOf(wubble,box405)" 396 463)
  ("InBackOf(wubble,box405)" 622 697)
  ("InBackOf(wubble,box405)" 856 951)
  ("InBackOf(wubble,box405)" 1142 1243)
  ("InBackOf(wubble,box405)" 1414 1483)
  ("InBackOf(wubble,box405)" 1608 1676)
  ("InBackOf(wubble,box405)" 1722 1751)
  ("InBackOf(wubble,box405)" 1893 1989)
  ("InBackOf(wubble,box405)" 2144 2219)
  ("InBackOf(wubble,box405)" 2499 2561)
  ("InBackOf(wubble,box405)" 2783 2837)
  ("InBackOf(wubble,box405)" 2995 3055)
  ("InBackOf(wubble,box405)" 3243 3321)
  ("InBackOf(wubble,box405)" 3605 3691)
  ("InBackOf(wubble,box405)" 3838 3903)
  ("InBackOf(wubble,box405)" 4029 4084)
  ("InBackOf(wubble,box405)" 4276 4331)
  ("InBackOf(wubble,box405)" 4967 5019)
  ("InBackOf(wubble,box405)" 5220 5471)
  ("InBackOf(wubble,box405)" 5787 5844)
  ("InBackOf(wubble,box405)" 6097 6162)
  ("InBackOf(wubble,box405)" 6625 6692)
  ("InBackOf(wubble,box405)" 6696 6706)
  ("InBackOf(wubble,box405)" 6889 6974)
  ("InBackOf(wubble,box405)" 7113 7180)
  ("InBackOf(wubble,box405)" 7316 7372)
  ("InBackOf(wubble,box405)" 7490 7572)
  ("InBackOf(wubble,box405)" 7725 7833)
  ("InBackOf(wubble,box405)" 8061 8145)
  ("InBackOf(wubble,box405)" 8378 8424)
  ("InBackOf(wubble,box405)" 8624 8697)
  ("InBackOf(wubble,box405)" 8879 8943)
  ("InBackOf(wubble,box405)" 9230 9271)
  ("InBackOf(wubble,box405)" 9429 9474)
  ("InBackOf(wubble,box405)" 9595 9623)
  ("NVM(wubble,)" 2 17)
  ("NVM(wubble,)" 19 21)
  ("NVM(wubble,)" 62 79)
  ("NVM(wubble,)" 393 417)
  ("NVM(wubble,)" 424 425)
  ("NVM(wubble,)" 626 627)
  ("NVM(wubble,)" 628 651)
  ("NVM(wubble,)" 850 851)
  ("NVM(wubble,)" 852 873)
  ("NVM(wubble,)" 880 881)
  ("NVM(wubble,)" 1141 1165)
  ("NVM(wubble,)" 1172 1173)
  ("NVM(wubble,)" 1414 1437)
  ("NVM(wubble,)" 1444 1445)
  ("NVM(wubble,)" 1610 1634)
  ("NVM(wubble,)" 1641 1642)
  ("NVM(wubble,)" 1887 1888)
  ("NVM(wubble,)" 1889 1911)
  ("NVM(wubble,)" 1918 1919)
  ("NVM(wubble,)" 2141 2163)
  ("NVM(wubble,)" 2170 2171)
  ("NVM(wubble,)" 2490 2491)
  ("NVM(wubble,)" 2492 2513)
  ("NVM(wubble,)" 2520 2521)
  ("NVM(wubble,)" 2781 2805)
  ("NVM(wubble,)" 2812 2813)
  ("NVM(wubble,)" 2986 2987)
  ("NVM(wubble,)" 2988 3009)
  ("NVM(wubble,)" 3016 3017)
  ("NVM(wubble,)" 3241 3263)
  ("NVM(wubble,)" 3270 3271)
  ("NVM(wubble,)" 3595 3596)
  ("NVM(wubble,)" 3597 3619)
  ("NVM(wubble,)" 3626 3627)
  ("NVM(wubble,)" 3843 3866)
  ("NVM(wubble,)" 4030 4054)
  ("NVM(wubble,)" 4061 4062)
  ("NVM(wubble,)" 4264 4288)
  ("NVM(wubble,)" 4295 4296)
  ("NVM(wubble,)" 4961 4962)
  ("NVM(wubble,)" 4963 4985)
  ("NVM(wubble,)" 4992 4993)
  ("NVM(wubble,)" 5206 5230)
  ("NVM(wubble,)" 5237 5238)
  ("NVM(wubble,)" 5784 5785)
  ("NVM(wubble,)" 5786 5807)
  ("NVM(wubble,)" 5814 5815)
  ("NVM(wubble,)" 6088 6089)
  ("NVM(wubble,)" 6090 6111)
  ("NVM(wubble,)" 6118 6119)
  ("NVM(wubble,)" 6622 6623)
  ("NVM(wubble,)" 6624 6645)
  ("NVM(wubble,)" 6652 6653)
  ("NVM(wubble,)" 6883 6884)
  ("NVM(wubble,)" 6885 6906)
  ("NVM(wubble,)" 6913 6914)
  ("NVM(wubble,)" 7112 7136)
  ("NVM(wubble,)" 7143 7144)
  ("NVM(wubble,)" 7318 7342)
  ("NVM(wubble,)" 7349 7350)
  ("NVM(wubble,)" 7486 7510)
  ("NVM(wubble,)" 7517 7518)
  ("NVM(wubble,)" 7720 7743)
  ("NVM(wubble,)" 8060 8061)
  ("NVM(wubble,)" 8062 8084)
  ("NVM(wubble,)" 8091 8092)
  ("NVM(wubble,)" 8382 8406)
  ("NVM(wubble,)" 8413 8414)
  ("NVM(wubble,)" 8618 8642)
  ("NVM(wubble,)" 8649 8650)
  ("NVM(wubble,)" 8873 8896)
  ("NVM(wubble,)" 8903 8904)
  ("NVM(wubble,)" 9229 9252)
  ("NVM(wubble,)" 9428 9452)
  ("NVM(wubble,)" 9459 9460)
  ("NVM(wubble,)" 9590 9614)
  ("NVM(wubble,)" 9621 9622)
  ("On(wubble,floor)" 78 81)
  ("On(wubble,floor)" 84 367)
  ("On(wubble,floor)" 416 419)
  ("On(wubble,floor)" 425 604)
  ("On(wubble,floor)" 650 654)
  ("On(wubble,floor)" 659 824)
  ("On(wubble,floor)" 872 875)
  ("On(wubble,floor)" 881 1115)
  ("On(wubble,floor)" 1164 1167)
  ("On(wubble,floor)" 1174 1387)
  ("On(wubble,floor)" 1436 1439)
  ("On(wubble,floor)" 1445 1584)
  ("On(wubble,floor)" 1633 1636)
  ("On(wubble,floor)" 1642 1861)
  ("On(wubble,floor)" 1910 1913)
  ("On(wubble,floor)" 1920 2114)
  ("On(wubble,floor)" 2162 2165)
  ("On(wubble,floor)" 2172 2464)
  ("On(wubble,floor)" 2512 2515)
  ("On(wubble,floor)" 2521 2755)
  ("On(wubble,floor)" 2804 2807)
  ("On(wubble,floor)" 2814 2960)
  ("On(wubble,floor)" 3008 3011)
  ("On(wubble,floor)" 3018 3214)
  ("On(wubble,floor)" 3262 3265)
  ("On(wubble,floor)" 3272 3569)
  ("On(wubble,floor)" 3618 3621)
  ("On(wubble,floor)" 3628 3816)
  ("On(wubble,floor)" 3865 3868)
  ("On(wubble,floor)" 3874 4004)
  ("On(wubble,floor)" 4053 4056)
  ("On(wubble,floor)" 4062 4238)
  ("On(wubble,floor)" 4287 4290)
  ("On(wubble,floor)" 4297 4935)
  ("On(wubble,floor)" 4984 4987)
  ("On(wubble,floor)" 4994 5180)
  ("On(wubble,floor)" 5229 5232)
  ("On(wubble,floor)" 5238 5758)
  ("On(wubble,floor)" 5806 5809)
  ("On(wubble,floor)" 5815 6062)
  ("On(wubble,floor)" 6110 6113)
  ("On(wubble,floor)" 6119 6596)
  ("On(wubble,floor)" 6644 6647)
  ("On(wubble,floor)" 6653 6857)
  ("On(wubble,floor)" 6905 6908)
  ("On(wubble,floor)" 6915 7086)
  ("On(wubble,floor)" 7135 7138)
  ("On(wubble,floor)" 7144 7292)
  ("On(wubble,floor)" 7341 7344)
  ("On(wubble,floor)" 7351 7460)
  ("On(wubble,floor)" 7509 7512)
  ("On(wubble,floor)" 7518 7694)
  ("On(wubble,floor)" 7742 7745)
  ("On(wubble,floor)" 7750 8034)
  ("On(wubble,floor)" 8083 8086)
  ("On(wubble,floor)" 8093 8356)
  ("On(wubble,floor)" 8405 8408)
  ("On(wubble,floor)" 8415 8592)
  ("On(wubble,floor)" 8641 8644)
  ("On(wubble,floor)" 8650 8846)
  ("On(wubble,floor)" 8895 8898)
  ("On(wubble,floor)" 8904 9202)
  ("On(wubble,floor)" 9251 9254)
  ("On(wubble,floor)" 9260 9402)
  ("On(wubble,floor)" 9451 9454)
  ("On(wubble,floor)" 9460 9564)
  ("On(wubble,floor)" 9613 9616)
  ("On(wubble,floor)" 9622 9714)
  ("Forward(wubble,)" 54 81)
  ("Forward(wubble,)" 124 145)
  ("Forward(wubble,)" 174 255)
  ("Forward(wubble,)" 334 428)
  ("Forward(wubble,)" 431 459)
  ("Forward(wubble,)" 476 493)
  ("Forward(wubble,)" 572 647)
  ("Forward(wubble,)" 717 744)
  ("Forward(wubble,)" 812 888)
  ("Forward(wubble,)" 954 972)
  ("Forward(wubble,)" 1086 1175)
  ("Forward(wubble,)" 1246 1264)
  ("Forward(wubble,)" 1274 1309)
  ("Forward(wubble,)" 1369 1432)
  ("Forward(wubble,)" 1493 1501)
  ("Forward(wubble,)" 1576 1625)
  ("Forward(wubble,)" 1690 1747)
  ("Forward(wubble,)" 1784 1797)
  ("Forward(wubble,)" 1846 1918)
  ("Forward(wubble,)" 1989 2004)
  ("Forward(wubble,)" 2075 2176)
  ("Forward(wubble,)" 2418 2635)
  ("Forward(wubble,)" 2708 2821)
  ("Forward(wubble,)" 2834 2890)
  ("Forward(wubble,)" 2940 3019)
  ("Forward(wubble,)" 3050 3098)
  ("Forward(wubble,)" 3168 3285)
  ("Forward(wubble,)" 3306 3413)
  ("Forward(wubble,)" 3450 3455)
  ("Forward(wubble,)" 3538 3641)
  ("Forward(wubble,)" 3726 3744)
  ("Forward(wubble,)" 3754 3757)
  ("Forward(wubble,)" 3805 3858)
  ("Forward(wubble,)" 3923 3944)
  ("Forward(wubble,)" 3997 4041)
  ("Forward(wubble,)" 4101 4119)
  ("Forward(wubble,)" 4225 4302)
  ("Forward(wubble,)" 4412 4439)
  ("Forward(wubble,)" 4642 4688)
  ("Forward(wubble,)" 4903 5013)
  ("Forward(wubble,)" 5027 5053)
  ("Forward(wubble,)" 5131 5269)
  ("Forward(wubble,)" 5449 5529)
  ("Forward(wubble,)" 5715 5815)
  ("Forward(wubble,)" 5847 5860)
  ("Forward(wubble,)" 6016 6125)
  ("Forward(wubble,)" 6170 6178)
  ("Forward(wubble,)" 6252 6336)
  ("Forward(wubble,)" 6557 6662)
  ("Forward(wubble,)" 6683 6705)
  ("Forward(wubble,)" 6760 6788)
  ("Forward(wubble,)" 6840 6922)
  ("Forward(wubble,)" 6996 7017)
  ("Forward(wubble,)" 7069 7125)
  ("Forward(wubble,)" 7281 7325)
  ("Forward(wubble,)" 7452 7511)
  ("Forward(wubble,)" 7544 7597)
  ("Forward(wubble,)" 7656 7740)
  ("Forward(wubble,)" 7778 7885)
  ("Forward(wubble,)" 7985 8095)
  ("Forward(wubble,)" 8128 8211)
  ("Forward(wubble,)" 8230 8269)
  ("Forward(wubble,)" 8319 8414)
  ("Forward(wubble,)" 8434 8449)
  ("Forward(wubble,)" 8571 8642)
  ("Forward(wubble,)" 8816 8899)
  ("Forward(wubble,)" 9149 9255)
  ("Forward(wubble,)" 9378 9456)
  ("Forward(wubble,)" 9552 9617)
  ("Jump(wubble,)" 365 367)
  ("Jump(wubble,)" 602 604)
  ("Jump(wubble,)" 822 824)
  ("Jump(wubble,)" 1113 1115)
  ("Jump(wubble,)" 1385 1387)
  ("Jump(wubble,)" 1582 1584)
  ("Jump(wubble,)" 1859 1861)
  ("Jump(wubble,)" 2112 2114)
  ("Jump(wubble,)" 2462 2464)
  ("Jump(wubble,)" 2753 2755)
  ("Jump(wubble,)" 2958 2960)
  ("Jump(wubble,)" 3212 3214)
  ("Jump(wubble,)" 3567 3569)
  ("Jump(wubble,)" 3814 3816)
  ("Jump(wubble,)" 4002 4004)
  ("Jump(wubble,)" 4236 4238)
  ("Jump(wubble,)" 4933 4935)
  ("Jump(wubble,)" 5178 5180)
  ("Jump(wubble,)" 5756 5758)
  ("Jump(wubble,)" 6060 6062)
  ("Jump(wubble,)" 6594 6596)
  ("Jump(wubble,)" 6855 6857)
  ("Jump(wubble,)" 7084 7086)
  ("Jump(wubble,)" 7290 7292)
  ("Jump(wubble,)" 7458 7460)
  ("Jump(wubble,)" 7692 7694)
  ("Jump(wubble,)" 8032 8034)
  ("Jump(wubble,)" 8354 8356)
  ("Jump(wubble,)" 8590 8592)
  ("Jump(wubble,)" 8844 8846)
  ("Jump(wubble,)" 9200 9202)
  ("Jump(wubble,)" 9400 9402)
  ("Jump(wubble,)" 9562 9564)
 )
)
